Search Results
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code
Generating Correct Code with Coq by Rob Dickerson
F(by) 2020 - Tom Sydney Kerckhove: Writing a text editor in Haskell with Brick
Meetup Haskell - Coq for Haskell programmers
Code Review: Haskell API for accessing a SQLite database (2 Solutions!!)
Meetup Haskell: Coq
Meetup No 43 - Building Web Services with Haskell (2019-07-10)
Charles Hoskinson On Why Haskell Code for Cardano? | Forkast.News
"Super Haskell": an introduction to Agda by André Muricy
BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl
A Walk-through of Computational Reflection in Coq - Boston Haskell Meetup
2018 NIL Haskell School - Session 1
